- program semantics
- Вычислительная техника: семантика программы
Универсальный англо-русский словарь. Академик.ру. 2011.
program semantics
Смотреть что такое "program semantics" в других словарях:
Semantics encoding — A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte code. Conversion between document formats are also forms of … Wikipedia
Program transformation — A program transformation is any operation that takes a program and generates another program. It is often important that the derived program be semantically equivalent to the original, relative to a particular formal semantics. Other program… … Wikipedia
Program Chrestomathy — In computer programming, a program chrestomathy is a collection of similar programs written in various programming languages, for the purpose of demonstrating differences in syntax, semantics and idioms for each language. The best known of these… … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Generative semantics — is (or perhaps was) a research program within linguistics, initiated by the work of various early students of Noam Chomsky: John R. Ross, Paul Postal and later James McCawley. George Lakoff was also instrumental in developing and advocating the… … Wikipedia
Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually … Wikipedia
Axiomatic semantics — is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the… … Wikipedia
General semantics — The term General Semantics refers to a non Aristotelian educational discipline created by Alfred Korzybski (1879–1950) during the years 1919 to 1933. General Semantics stands distinct from semantics, a different subject. The name technically… … Wikipedia
